TU Berlin

Modelle und Theorie Verteilter SystemeMitteilungen

MTV mit Schwung

Inhalt des Dokuments

zur Navigation

Forschung

  • ETAPS 2010 - Eingeladenes Tutorial

    Eingeladenes Tutorial von Uwe Nestmann zum Thema "The DisCoVeri continues ... (On the Application of Concurrency Theory to Fault-Tolerant Distributed Algorithms)" bei ETAPS 2010.

  • IFIP WG 1.8 Meeting 2009 - Co-Organisation

    Workshop on Formal Methods for Embedded Systems der IFIP WG 1.8 Concurrency Theory, co-organisiert durch Uwe Nestmann in Eindhoven (NL) während der Formal Methods Week.

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe